Liveness-Driven Random Program Generation

Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing random program generators may generate large amounts of dead code (computations whose result is never used). This leaves relatively little code to exercise a target compiler's more complex optimizations. To address this shortcoming, we introduce liveness-driven random program generation. In this approach the random program is constructed bottom-up, guided by a simultaneous structural data-flow analysis to ensure that the generator never generates dead code. The algorithm is implemented as a plugin for the Frama-C framework. We evaluate it in comparison to Csmith, the standard random C program generator. Our tool generates programs that compile to more machine code with a more complex instruction mix.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Predictors of risky alcohol consumption in schoolchildren and their implications for preventing alcohol-related harm

BACKGROUND: While alcohol-related health and social problems amongst youths are increasing internationally, both consumption and associated harms are particularly high in British youth. Youth drinking patterns, including bingeing, frequent drinking and drinking in public spaces, are associated with increased risks of acute (e.g. violence) and long-term (e.g. alcohol-dependence) health problems. Here we examine economic, behavioural and demographic factors that predict these risky drinking behaviours among 15-16 year old schoolchildren who consume alcohol. A cross-sectional survey was conducted among schoolchildren in North West England (n = 10,271) using an anonymous questionnaire delivered in school settings. Analysis utilised logistic regression to identify independent predictors of risky drinking behaviour. RESULTS: Of all respondents, 87.9% drank alcohol. Of drinkers, 38.0% usually binged when drinking, 24.4% were frequent drinkers and 49.8% drank in public spaces. Binge, frequent and public drinking were strongly related to expendable income and to individuals buying their own alcohol. Obtaining alcohol from friends, older siblings and adults outside shops were also predictors of risky drinking amongst drinkers. However, being bought alcohol by parents was associated with both lower bingeing and drinking in public places. Membership of youth groups/teams was in general protective despite some association with bingeing. CONCLUSION: Although previous studies have examined predictors of risky drinking, our analyses of access to alcohol and youth income have highlighted eradicating underage alcohol sales and increased understanding of children's spending as key considerations in reducing risky alcohol use. Parental provision of alcohol to children in a family environment may also be important in establishing child-parent dialogues on alcohol and moderating youth consumption. However, this will require supporting parents to ensure they develop only moderate drinking behaviours in their children and only when appropriate

The Evolution of X-ray Clusters of Galaxies

Considerable progress has been made over the last decade in the study of the evolutionary trends of the population of galaxy clusters in the Universe. In this review we focus on observations in the X-ray band. X-ray surveys with the ROSAT satellite, supplemented by follow-up studies with ASCA and Beppo-SAX, have allowed an assessment of the evolution of the space density of clusters out to z~1, and the evolution of the physical properties of the intra-cluster medium out to z~0.5. With the advent of Chandra and Newton-XMM, and their unprecedented sensitivity and angular resolution, these studies have been extended beyond redshift unity and have revealed the complexity of the thermodynamical structure of clusters. The properties of the intra-cluster gas are significantly affected by non-gravitational processes including star formation and Active Galactic Nucleus (AGN) activity. Convincing evidence has emerged for modest evolution of both the bulk of the X-ray cluster population and their thermodynamical properties since redshift unity. Such an observational scenario is consistent with hierarchical models of structure formation in a flat low density universe with Omega_m=0.3 and sigma_8=0.7-0.8 for the normalization of the power spectrum. Basic methodologies for construction of X-ray-selected cluster samples are reviewed and implications of cluster evolution for cosmological models are discussed.Comment: 40 pages, 15 figures. Full resolution figures can be downloaded from http://www.eso.org/~prosati/ARAA

Mineral chemistry of igneous melanite garnets from analcite-bearing volcanic rocks, Alberta, Canada

The mineral chemistry of melanite garnets from the Crowsnest volcanic rocks of SW Alberta, Canada, has been investigated by using electron microprobe scans, quantitative analyses and multivariate statistical analysis. The garnets occur with aegirine-augite, sanidine, analcite and rare plagioclase as phenocrysts in trachyte and phonolite flows, agglomerates and tuffs. Wavelength dispersive microprobe scans reveal complex zonation patterns, both normal and oscillatory. The results of fifty quantitative analyses were subjected to R-mode factor analysis to delineate the chemical exchanges producing the zonation. The chemical zonation of the garnets may be attributed to four independent binary exchanges; Al-Fe3+, Si-Ti, Ca-Mn and Mg-Fe2+. The stoichiometry of these garnets, based on microprobe and wet chemical Fe analyses, combined with the strongly antithetic behavior of Si and Ti lead us to infer that the Ti in these garnets is dominantly tetravalent. It is clear from this study that quantitative modelling of the processes of crystal growth and zonation of melanite garnets in alkaline, undersaturated igneous rocks should be aimed at simulating the four chemical exchanges listed above

Impact of inhaled corticosteroids on growth in children with asthma: systematic review and meta-analysis

Background: Long-term inhaled corticosteroids (ICS) may reduce growth velocity and final height of children with asthma. We aimed to evaluate the association between ICS use of >12 months and growth. Methods: We initially searched MEDLINE and EMBASE in July 2013, followed by a PubMed search updated to December 2014. We selected RCTs and controlled observational studies of ICS use in patients with asthma. We conducted random effects meta-analysis of mean differences in growth velocity (cm/year) or final height (cm) between groups. Heterogeneity was assessed using the I2 statistic. Results: We found 23 relevant studies (twenty RCTs and three observational studies) after screening 1882 hits. Meta-analysis of 16 RCTs showed that ICS use significantly reduced growth velocity at one year follow-up (mean difference -0.48 cm/year (95% CI -0.66 to -0.29)). There was evidence of a dose-response effect in three RCTs. Final adult height showed a mean reduction of -1.20 cm (95% CI -1.90 cm to -0.50 cm) with budesonide versus placebo in a high quality RCT. Meta-analysis of two lower quality observational studies revealed uncertainty in the association between ICS use and final adult height, pooled mean difference -0.85 cm (95% CI -3.35 to 1.65). Conclusion: Use of ICS for >12 months in children with asthma has a limited impact on annual growth velocity. In ICS users, there is a slight reduction of about a centimeter in final adult height, which when interpreted in the context of average adult height in England (175 cm for men and 161 cm for women), represents a 0.7% reduction compared to non-ICS users

Network model of immune responses reveals key effectors to single and co-infection dynamics by a respiratory bacterium and a gastrointestinal helminth

Co-infections alter the host immune response but how the systemic and local processes at the site of infection interact is still unclear. The majority of studies on co-infections concentrate on one of the infecting species, an immune function or group of cells and often focus on the initial phase of the infection. Here, we used a combination of experiments and mathematical modelling to investigate the network of immune responses against single and co-infections with the respiratory bacterium Bordetella bronchiseptica and the gastrointestinal helminth Trichostrongylus retortaeformis. Our goal was to identify representative mediators and functions that could capture the essence of the host immune response as a whole, and to assess how their relative contribution dynamically changed over time and between single and co-infected individuals. Network-based discrete dynamic models of single infections were built using current knowledge of bacterial and helminth immunology; the two single infection models were combined into a co-infection model that was then verified by our empirical findings. Simulations showed that a T helper cell mediated antibody and neutrophil response led to phagocytosis and clearance of B. bronchiseptica from the lungs. This was consistent in single and co-infection with no significant delay induced by the helminth. In contrast, T. retortaeformis intensity decreased faster when co-infected with the bacterium. Simulations suggested that the robust recruitment of neutrophils in the co-infection, added to the activation of IgG and eosinophil driven reduction of larvae, which also played an important role in single infection, contributed to this fast clearance. Perturbation analysis of the models, through the knockout of individual nodes (immune cells), identified the cells critical to parasite persistence and clearance both in single and co-infections. Our integrated approach captured the within-host immuno-dynamics of bacteria-helminth infection and identified key components that can be crucial for explaining individual variability between single and co-infections in natural populations

Lessons learned from implementation of a demonstration program to reduce the burden of anemia and hookworm in women in Yen Bai Province, Viet Nam

Background Iron deficiency, anemia and hookworm disease are important public health problems for women of reproductive age living in developing countries and affect the health of newborns and infants. Iron supplementation and deworming treatment are effective in addressing these problems in both pregnant and non-pregnant women. Daily iron supplementation and deworming after the first trimester is recommended for pregnant women although these programs usually do not operate efficiently or effectively. Weekly iron-folic acid supplementation and regular deworming for non-pregnant women may be a viable approach for improving iron status and preventing anemia during the reproductive years. Addressing these diseases at a population level before women become pregnant could significantly improve women's health before and during pregnancy, as well as their infants' growth and development. Methods and Results This paper describes the major processes undertaken in a demonstration intervention of preventive weekly iron-folic acid supplementation with regular deworming for all 52,000 women aged 15–45 years in two districts of Yen Bai province, in northern Viet Nam. The intervention strategy included extensive consultation with community leaders and village, commune, district and provincial health staff, and training for village health workers. Distribution of the drugs was integrated with the existing health service infrastructure and the village health workers were the direct point of contact with women. Iron-folic acid tablets and deworming treatment were provided free of charge from May 2006. An independent Vietnamese NGO was commissioned to evaluate compliance and identify potential problems. The program resulted in effective distribution of iron-folic acid tablets and deworming treatment to all villages in the target districts, with full or partial compliance of 85%. Conclusion Training for health staff, the strong commitment of all partners and the use of appropriate educational materials led to broad support for weekly iron-folic acid supplementation and high participation in the regular deworming days. In March 2008 the program was expanded to all districts in the province, a target population of approximately 250,000 WRA, and management was handed over to provincial authorities

Expression and trans-specific polymorphism of self-incompatibility RNases in Coffea (Rubiaceae)

Self-incompatibility (SI) is widespread in the angiosperms, but identifying the biochemical components of SI mechanisms has proven to be difficult in most lineages. Coffea (coffee; Rubiaceae) is a genus of old-world tropical understory trees in which the vast majority of diploid species utilize a mechanism of gametophytic self-incompatibility (GSI). The S-RNase GSI system was one of the first SI mechanisms to be biochemically characterized, and likely represents the ancestral Eudicot condition as evidenced by its functional characterization in both asterid (Solanaceae, Plantaginaceae) and rosid (Rosaceae) lineages. The S-RNase GSI mechanism employs the activity of class III RNase T2 proteins to terminate the growth of "self" pollen tubes. Here, we investigate the mechanism of Coffea GSI and specifically examine the potential for homology to S-RNase GSI by sequencing class III RNase T2 genes in populations of 14 African and Madagascan Coffea species and the closely related self-compatible species Psilanthus ebracteolatus. Phylogenetic analyses of these sequences aligned to a diverse sample of plant RNase T2 genes show that the Coffea genome contains at least three class III RNase T2 genes. Patterns of tissue-specific gene expression identify one of these RNase T2 genes as the putative Coffea S-RNase gene. We show that populations of SI Coffea are remarkably polymorphic for putative S-RNase alleles, and exhibit a persistent pattern of trans-specific polymorphism characteristic of all S-RNase genes previously isolated from GSI Eudicot lineages. We thus conclude that Coffea GSI is most likely homologous to the classic Eudicot S-RNase system, which was retained since the divergence of the Rubiaceae lineage from an ancient SI Eudicot ancestor, nearly 90 million years ago.United States National Science Foundation [0849186]; Society of Systematic Biologists; American Society of Plant Taxonomists; Duke University Graduate Schoolinfo:eu-repo/semantics/publishedVersio

Ant colony optimization for object-oriented unit test generation

Generating useful unit tests for object-oriented programs is difficult for traditional optimization methods. One not only needs to identify values to be used as inputs, but also synthesize a program which creates the required state in the program under test. Many existing Automated Test Generation (ATG) approaches combine search with performance-enhancing heuristics. We present Tiered Ant Colony Optimization (Taco) for generating unit tests for object-oriented programs. The algorithm is formed of three Tiers of ACO, each of which tackles a distinct task: goal prioritization, test program synthesis, and data generation for the synthesised program. Test program synthesis allows the creation of complex objects, and exploration of program state, which is the breakthrough that has allowed the successful application of ACO to object-oriented test generation. Taco brings the mature search ecosystem of ACO to bear on ATG for complex object-oriented programs, providing a viable alternative to current approaches. To demonstrate the effectiveness of Taco, we have developed a proof-of-concept tool which successfully generated tests for an average of 54% of the methods in 170 Java classes, a result competitive with industry standard Randoop

The systematic guideline review: method, rationale, and test on chronic heart failure

Background: Evidence-based guidelines have the potential to improve healthcare. However, their de-novo-development requires substantial resources-especially for complex conditions, and adaptation may be biased by contextually influenced recommendations in source guidelines. In this paper we describe a new approach to guideline development-the systematic guideline review method (SGR), and its application in the development of an evidence-based guideline for family physicians on chronic heart failure (CHF). Methods: A systematic search for guidelines was carried out. Evidence-based guidelines on CHF management in adults in ambulatory care published in English or German between the years 2000 and 2004 were included. Guidelines on acute or right heart failure were excluded. Eligibility was assessed by two reviewers, methodological quality of selected guidelines was appraised using the AGREE instrument, and a framework of relevant clinical questions for diagnostics and treatment was derived. Data were extracted into evidence tables, systematically compared by means of a consistency analysis and synthesized in a preliminary draft. Most relevant primary sources were re-assessed to verify the cited evidence. Evidence and recommendations were summarized in a draft guideline. Results: Of 16 included guidelines five were of good quality. A total of 35 recommendations were systematically compared: 25/35 were consistent, 9/35 inconsistent, and 1/35 un-rateable (derived from a single guideline). Of the 25 consistencies, 14 were based on consensus, seven on evidence and four differed in grading. Major inconsistencies were found in 3/9 of the inconsistent recommendations. We re-evaluated the evidence for 17 recommendations (evidence-based, differing evidence levels and minor inconsistencies) - the majority was congruent. Incongruity was found where the stated evidence could not be verified in the cited primary sources, or where the evaluation in the source guidelines focused on treatment benefits and underestimated the risks. The draft guideline was completed in 8.5 man-months. The main limitation to this study was the lack of a second reviewer. Conclusion: The systematic guideline review including framework development, consistency analysis and validation is an effective, valid, and resource saving-approach to the development of evidence-based guidelines